SaBRe: load-time selective binary rewriting

Binary rewriting consists in disassembling a program to modify its instructions. However, existing solutions suffer from shortcomings in terms of soundness and performance. We present SaBRe, a load-time system for selective binary rewriting. SaBRe rewrites specific constructs—particularly system calls and functions—when the program is loaded into memory, and intercepts them using plugins through a simple API. We also discuss the theoretical underpinnings of disassembling and rewriting. We developed two backends—for x86_64 and RISC-V—which were used to implement three plugins: a fast system call tracer, a multi-version executor, and a fault injector. Our evaluation shows that SaBRe imposes little overhead, typically below 3%.

     

Adaptive Graph Learning for Semi-supervised Self-paced Classification

Neural Processing Letters - Semi-supervised learning techniques have been attracting increasing interests in many machine learning fields for its effectiveness in using labeled and unlabeled...     

Mechanism in chlorine-enhanced Pd catalyst for H2O2 in situ synthesis in electro-Fenton system

Palladium-based catalysts have been widely employed in the electro-Fenton process for in situ generation of H₂O₂. However, the process is still far from being practical on a large scale. In this work, a series of Cl_xFePd/γ-Al₂O₃/Al catalysts were prepared by a three-step-impregnation method. They exhibited excellent activity in H₂O₂ in situ synthesis and high efficiency in phenol degradation. The characterization results showed that Cl could assist in increasing the content of Pd⁰ and reducing the isoelectric point of catalysts, which led to the drastic promotion in the synthesis of H₂O₂. Theoretical calculations further demonstrated that Cl doping could facilitate the main reaction in H₂O₂ synthesis, as well as inhibit side reactions such as dissociation of the O O bond. Furthermore, kinetic models were proposed and fitted. A plausible reaction mechanism as well as degradation pathways were elaborated based on electron spin resonance and gas chromatography–mass spectrometry results. These findings illustrate the value of palladium-based Cl_xFePd/γ-Al₂O₃/Al catalysts for their application in the electro-Fenton process.     

Atomistic insight into the lubrication of glycerol aqueous solution: The role of the solid interface-induced microstructure of fluid molecules

Molecular dynamics simulations are performed to investigate the solid surface-induced microstructure and friction coefficient of glycerol aqueous solutions with different water contents confined in graphene and FeO nanoslits. Results show that the friction coefficient of glycerol aqueous solutions confined in both nanoslits presents similar nonlinear variation tendencies with increasing water content, but their lowest value and the corresponding water contents differ. Distinctive microstructures of the near-surface liquid layer induced by surfaces with different hydrophilicity are responsible for their difference in lubrication. The sliding primarily occurs at the solid–liquid interface for the hydrophobic graphene nanoslit owing to almost the same velocity difference in fluid molecules. By contrast, the sliding mainly occurs at the liquid–liquid interface for the hydrophilic FeO nanoslit because of the large velocity difference in fluid molecules. The weaker the interaction force at the sliding position, the lower the friction coefficient.     

Approximation Optimal Vibration Control with Applications to Jacket Offshore Platforms with Nonlinear Dynamic Characteristics

International Journal of Control, Automation and Systems - The vibration control problem of offshore jacket platforms is studied. The model of offshore platforms with nonlinear interactions of the...     

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Software and Systems Modeling - Open environmental software systems are often time-sensitive, as they need to respond to other entities within the systems and/or in the environments promptly. The...